Mathematical Programming - PDFSEARCH.IO - Document Search Engine

Mathematical Programming
Results: 4310

#	Item
671	Software Synthesis Procedures ∗ Viktor Kuncak Mikaël Mayer LARA, I&C Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-12-03 07:53:01 Model theory Logic in computer science Constraint programming Electronic design automation Formal methods Satisfiability Modulo Theories Boolean satisfiability problem First-order logic Interpretation Mathematical logic Theoretical computer science Mathematics
672	Linear and conic programming relaxations: Graph structure and message-passing Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2010-10-20 16:19:00 Coding theory Operations research Convex optimization Linear programming Linear programming relaxation Conic optimization Relaxation Linear code Parity-check matrix Mathematics Algebra Mathematical optimization
673	Becoming aware of propositional variables Hans van Ditmarsch1 and Tim French2 1 2 Add to Reading List Source URL: www.csse.uwa.edu.au Language: English - Date: 2011-03-25 01:15:11 Modal logic Philosophical logic Theoretical computer science Model theory Logic programming Bisimulation Epistemic modal logic Interpretation Propositional variable Logic Mathematical logic Mathematics
674	Version 1.0 Open X and Arm David May: April 25, 2013 Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2013-05-02 09:46:47 C programming language Procedural programming languages Algebra Machine code Mathematical notation Operand DEC Alpha Stack C Computing Software engineering Computer programming
675	Advising students interested in Computers and Programming Both classes have no pre-reqs and assume no prior knowledge of programming. Any student may take them. CSCI 1101 Introduction to Computer Science Add to Reading List Source URL: www.bowdoindailysun.com Language: English - Date: 2015-04-10 09:00:32 Theoretical computer science Computer science Applied mathematics Mathematics Algorithm Mathematical logic
676	Billions and Billions of Constraints: Whitebox Fuzz Testing in Production Ella Bounimova Patrice Godefroid Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2013-03-15 15:23:34 Theoretical computer science Constraint programming Fuzz testing Symbolic execution KeY Sage Constraint optimization Concolic testing Software testing Mathematical software Software engineering
677	Unifying Operational Semantics with Algebraic Semantics for Instantaneous Reactions Chengcheng Wu Yongxin Zhao Add to Reading List Source URL: utp12.lri.fr Language: English - Date: 2012-08-27 15:08:44 Theoretical computer science Logic in computer science Deduction Operational semantics Algebraic semantics Calculus BL Soundness Denotational semantics Logic Programming language semantics Mathematical logic
678	CORS 15_CORS:28 AM Page 9 TECHNICAL SESSIONS Sunday, 1:30pm - 3:00pm How to Navigate the Add to Reading List Source URL: meetings2.informs.org Language: English - Date: 2015-05-27 12:54:06 Science Applied mathematics Monte Carlo method Linear programming Stochastic programming Stochastic optimization Genetic algorithm Global optimization Dynamic programming Mathematical optimization Mathematics Operations research
679	Stochastic and fluid index policies for resource allocation problems M. Larran˜aga1,2,5 , U. Ayesta2,3,4,5 , I.M. Verloop1,5 IRIT, 2 rue C. Carmichel, FToulouse, France. 2 CNRS, LAAS, 7 avenue du colonel Roche, F Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2015-02-17 15:01:29 Systems theory Dynamic programming Operations research Equations Optimal control Bellman equation Multi-armed bandit Markov decision process Relaxation Statistics Mathematical optimization Control theory
680	The sequel of cccp: Solving cone constrained convex programs Bernhard Pfaff Invesco Asset Management GmbH Add to Reading List Source URL: www.pfaffikus.de Language: English - Date: 2015-05-29 10:24:02 Convex analysis Linear algebra Convex optimization Operations research Convex cone Quadratic programming Linear programming Second-order cone programming Linear matrix inequality Mathematical optimization Mathematics Mathematical analysis

UPDATE